11![Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK](https://www.pdfsearch.io/img/51e1f2082ee580d8acd90bbac7790eb6.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 16:49:46
|
---|
12![SAT-based Finite Model Generation for Isabelle/HOL Tjark Weber Summer School Marktoberdorf, August 9, 2005 SAT-based Finite Model Generation for Isabelle/HOL Tjark Weber Summer School Marktoberdorf, August 9, 2005](https://www.pdfsearch.io/img/356aa289c98feddb9a296c94dc2b7098.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2005-09-13 07:36:34
|
---|
13![SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s](https://www.pdfsearch.io/img/1b436aaaf35b945ae7b7a6802521dc7e.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2006-06-09 05:24:28
|
---|
14![Introduction Finite Model Generation Extensions and Optimizations Case Studies Integration of Proof-Producing SAT Solvers Conclusion Introduction Finite Model Generation Extensions and Optimizations Case Studies Integration of Proof-Producing SAT Solvers Conclusion](https://www.pdfsearch.io/img/4ed3aeb4a04d7da3fbb99a03851116c9.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2008-10-09 08:41:17
|
---|
15![A NOTION OF GEOMETRIC COMPLEXITY AND ITS APPLICATION TO TOPOLOGICAL RIGIDITY ERIK GUENTNER, ROMAIN TESSERA, AND GUOLIANG YU Abstract. We introduce a geometric invariant, called finite decomposition complexity (FDC), to s A NOTION OF GEOMETRIC COMPLEXITY AND ITS APPLICATION TO TOPOLOGICAL RIGIDITY ERIK GUENTNER, ROMAIN TESSERA, AND GUOLIANG YU Abstract. We introduce a geometric invariant, called finite decomposition complexity (FDC), to s](https://www.pdfsearch.io/img/92d589743085e4bc7b68711dcdcc4a75.jpg) | Add to Reading ListSource URL: www.normalesup.orgLanguage: English - Date: 2011-10-21 02:00:00
|
---|
16![Invariants for Finite Instances and Beyond Sylvain Conchon∗† Amit Goel‡ Sava Krsti´c‡ Invariants for Finite Instances and Beyond Sylvain Conchon∗† Amit Goel‡ Sava Krsti´c‡](https://www.pdfsearch.io/img/4a8fcf6cd74ea1368f050a1e027ef9ed.jpg) | Add to Reading ListSource URL: cubicle.lri.frLanguage: English - Date: 2013-07-31 06:27:46
|
---|
17![Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision Alessandro Abate Luca Bortolussi Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision Alessandro Abate Luca Bortolussi](https://www.pdfsearch.io/img/c2a0a4a9e0074b4dcb95b61e7fc88098.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-01-31 07:04:26
|
---|
18![Smoothness Testing of Polynomials over Finite Fields Jean-Franc ¸ ois Biasse and Michael J. Jacobson Jr. Department of Computer Science, University of Calgary 2500 University Drive NW Smoothness Testing of Polynomials over Finite Fields Jean-Franc ¸ ois Biasse and Michael J. Jacobson Jr. Department of Computer Science, University of Calgary 2500 University Drive NW](https://www.pdfsearch.io/img/28150810cacc4d15857f96c40d1ea718.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2016-05-19 17:03:48
|
---|
19![Towards Self-Verification in Finite Difference Code Generation Jan H¨ uckelheim1 , Ziqing Luo2 , Fabio Luporini1 ,Navjot Kukreja1 , Michael Lange1 , Gerard Gorman1 , Stephen Siegel2 , Matthew Dwyer3 , Paul Hovland4 Towards Self-Verification in Finite Difference Code Generation Jan H¨ uckelheim1 , Ziqing Luo2 , Fabio Luporini1 ,Navjot Kukreja1 , Michael Lange1 , Gerard Gorman1 , Stephen Siegel2 , Matthew Dwyer3 , Paul Hovland4](https://www.pdfsearch.io/img/5dda0dd931dd5d64b83f808f4853b5c7.jpg) | Add to Reading ListSource URL: correctness-workshop.github.ioLanguage: English - Date: 2017-11-14 22:52:13
|
---|
20![Invariants for Finite Instances and Beyond Sylvain Conchon∗† Amit Goel‡ Sava Krsti´c‡ Invariants for Finite Instances and Beyond Sylvain Conchon∗† Amit Goel‡ Sava Krsti´c‡](https://www.pdfsearch.io/img/3de2bc65612cc914d3988950b912eca3.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: English - Date: 2017-07-21 11:03:15
|
---|